-
1 доказательство правильности
доказательство правильности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство правильности
-
2 доказательство правильности
Computers: correctness proofУниверсальный русско-английский словарь > доказательство правильности
-
3 доказательство правильности программы
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство правильности программы
-
4 доказательство правильности завершения
Большой англо-русский и русско-английский словарь > доказательство правильности завершения
-
5 доказательство правильности программы
Большой англо-русский и русско-английский словарь > доказательство правильности программы
-
6 доказательство (правильности) алгоритма
Makarov: algorithm proofУниверсальный русско-английский словарь > доказательство (правильности) алгоритма
-
7 доказательство правильности алгоритма
General subject: algorithm validationУниверсальный русско-английский словарь > доказательство правильности алгоритма
-
8 доказательство правильности завершения
Programming: proof of termination (программы)Универсальный русско-английский словарь > доказательство правильности завершения
-
9 доказательство правильности завершения работы
1) Computers: proof of termination2) Information technology: proof of termination (программы)Универсальный русско-английский словарь > доказательство правильности завершения работы
-
10 доказательство правильности концепции
Универсальный русско-английский словарь > доказательство правильности концепции
-
11 доказательство правильности программ
Information technology: program provingУниверсальный русско-английский словарь > доказательство правильности программ
-
12 доказательство правильности программы
1) Computers: program proof2) Information technology: program correctness proofУниверсальный русско-английский словарь > доказательство правильности программы
-
13 доказательство правильности завершения
( программы) proof of terminationРусско-английский словарь по вычислительной технике и программированию > доказательство правильности завершения
-
14 доказательство правильности программы
Русско-английский словарь по вычислительной технике и программированию > доказательство правильности программы
-
15 доказательство правильности алгоритма
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > доказательство правильности алгоритма
-
16 доказательство правильности завершения работы
отлынивать от работы; прогуливать, лодырничать — fake off
Русско-английский большой базовый словарь > доказательство правильности завершения работы
-
17 доказательство правильности программы
тест; тестовая программа; программа испытаний — test program
Русско-английский большой базовый словарь > доказательство правильности программы
-
18 верификация (доказательство правильности)
верификация (доказательство правильности)
контроль
проверка
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > верификация (доказательство правильности)
-
19 верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (доказательство правильности) программы
-
20 зачитывать текст в доказательство правильности его содержания
Law: read into evidenceУниверсальный русско-английский словарь > зачитывать текст в доказательство правильности его содержания
См. также в других словарях:
доказательство правильности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN correctness proof … Справочник технического переводчика
доказательство правильности программы — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN program correctness proof … Справочник технического переводчика
верификация (доказательство правильности) — контроль проверка — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы контрольпроверка EN verification … Справочник технического переводчика
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
доказательство общей правильности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN total correctness, proof of … Справочник технического переводчика
доказательство — ДОКАЗАТЕЛЬСТВО процедура, призванная убедить и убеждающая человека в истинности некоторого положения настолько, что с ее помощью он может убеждать в истинности этого положения других. В узком (собственно логическом) смысле под Д.… … Энциклопедия эпистемологии и философии науки
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
Доказательство — установление или обоснование истинности высказывания, суждения, теории и т. п.; в самом широком смысле прием, с целью убедить в правильности тезиса, достоверности познания. В логике различают дедуктивное, индуктивное и косвенное доказательства, а … Начала современного естествознания
ДОКАЗАТЕЛЬСТВО — прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или в том случае, если данное положение оспаривается, еще раз его дополнить и подтвердить; противоположностью доказательства является… … Профессиональное образование. Словарь
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия